quotient rule derivation